2 402 202 книги
Поиск книг
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
#1
Rewriting Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday (Lecture Notes in Computer Science)
Hubert Comon-Lundh
,
Claude Kirchner
,
Helene Kirchner
Категория:
Компьютеры
2.95 Mb
#2
CAAP 96 Trees in Algebra and Programming 21 conf
Helene Kirchner
Категория:
Cs_Computer science
,
CsLn_Lecture notes
2.83 Mb
#3
Algebraic and Logic Programming
Helene Kirchner
,
Giorgio Levi
Категория:
Cs_Computer science
,
CsLn_Lecture notes
4.75 Mb
#4
Algebraic and Logic Programming
Helene Kirchner
,
Wolfgang Wechler
Категория:
Cs_Computer science
,
CsLn_Lecture notes
3.44 Mb
#5
Automated Deduction - CADE-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings
Claude Kirchner
,
Helene Kirchner
7.65 Mb
#6
Automated Deduction - CADE-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings
Claude Kirchner
,
Helene Kirchner
9.67 Mb
#7
Frontiers of Combining Systems: Third International Workshop, FroCoS 2000 Nancy, France, March 22-24, 2000 Proceedings
Helene Kirchner
,
Christophe Ringeissen
2.91 Mb
#8
Algebraic Methodology and Software Technology: 9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September 9-13, ...
Helene Kirchner
,
Christophe Ringeissen
7.39 Mb